An overview of very high level software design methods

Very High Level design methods emphasize automatic transfer of requirements to formal design specifications, and/or may concentrate on automatic transformation of formal design specifications that include some semantic information of the system into machine executable form. Very high level design methods range from general domain independent methods to approaches implementable for specific applications or domains. Applying AI techniques, abstract programming methods, domain heuristics, software engineering tools, library-based programming and other methods different approaches for higher level software design are being developed. Though one finds that a given approach does not always fall exactly in any specific class, this paper provides a classification for very high level design methods including examples for each class. These methods are analyzed and compared based on their basic approaches, strengths and feasibility for future expansion toward automatic development of software systems

Tidal Destruction of The First Dark Microhalos

We point out that the usual self-similarity in cold dark matter models is broken by encounters with individual normal galactic stars on sub-pc scale. Tidal heating and stripping must have redefined the density and velocity structures of the population of the Earth-mass dark matter halos, which are likely to have been the first bound structures to form in the Universe. The disruption rate depends strongly on {\it galaxy types} and the orbital distribution of the microhalos; in the Milky Way, stochastic radial orbits are destroyed first by stars in the triaxial bulge, microhalos on non-planar retrograde orbits with large pericenters and/or apocenters survive the longest. The final microhalo distribution in the {\it solar neighborhood} is better described as a superposition of filamentry microstreams rather than as a set of discrete spherical clumps in an otherwise homogeneous medium. We discuss its important consequences to our detections of microhalos by direct recoil signal and indirect annihilation signal.Comment: 13 pages, 3 figures, Astrophysical Journal, accepte

Derived insensitivity:Rule-based insensitivity to contingencies propagates through equivalence

© 2017 Elsevier Inc. Rule-governed behaviours enable rapid acquisition of appropriate and often complex behaviour in novel contexts; however, this capacity can also make individuals insensitive to environmental contingencies. This problem may be exacerbated if rules propagate from one context to another through derived relational responding. Here we assessed whether insensitivity due to rule-following would transfer to stimuli that were never directly associated with that rule, by means of combinatorial entailment. Multiple reinforcement schedules (1A = VR8; 2A = DRL8) were initially presented to two groups, one receiving rules on how to behave to earn as many points as possible, the other not receiving any rule. The participants then completed a matching-to-sample task in which equivalence classes were trained in a one-to-many format (1A ⟵ 1B → 1C; 2A ⟵ 12B → 2C). Finally, the derived stimuli (1C and 2C) were presented in a second multiple-schedule task, where the associated schedules were reversed (1C = DRL8; 2C = VR8), without informing the participants. Results demonstrated that insensitivity transferred to the stimuli set in equivalence for the participants who received rules, while participants who did not receive any rule adapted quicker to the contingencies changes. Results are discussed in relation to behavioural variability and psychological inflexibility that contributes to the development and maintenance of psychological issues

Update to the Vitamin C, Thiamine and Steroids in Sepsis (VICTAS) protocol: statistical analysis plan for a prospective, multicenter, double-blind, adaptive sample size, randomized, placebo-controlled, clinical trial.

BACKGROUND: Observational research suggests that combined therapy with Vitamin C, thiamine and hydrocortisone may reduce mortality in patients with septic shock. METHODS AND DESIGN: The Vitamin C, Thiamine and Steroids in Sepsis (VICTAS) trial is a multicenter, double-blind, adaptive sample size, randomized, placebo-controlled trial designed to test the efficacy of combination therapy with vitamin C (1.5 g), thiamine (100 mg), and hydrocortisone (50 mg) given every 6 h for up to 16 doses in patients with respiratory or circulatory dysfunction (or both) resulting from sepsis. The primary outcome is ventilator- and vasopressor-free days with mortality as the key secondary outcome. Recruitment began in August 2018 and is ongoing; 501 participants have been enrolled to date, with a planned maximum sample size of 2000. The Data and Safety Monitoring Board reviewed interim results at N = 200, 300, 400 and 500, and has recommended continuing recruitment. The next interim analysis will occur when N = 1000. This update presents the statistical analysis plan. Specifically, we provide definitions for key treatment and outcome variables, and for intent-to-treat, per-protocol, and safety analysis datasets. We describe the planned descriptive analyses, the main analysis of the primary end point, our approach to secondary and exploratory analyses, and handling of missing data. Our goal is to provide enough detail that our approach could be replicated by an independent study group, thereby enhancing the transparency of the study. TRIAL REGISTRATION: ClinicalTrials.gov, NCT03509350. Registered on 26 April 2018

Feasibility of Conducting J-2X Engine Testing at the Glenn Research Center Plum Brook Station B-2 Facility

A trade study of the feasibility of conducting J-2X testing in the Glenn Research Center (GRC) Plum Brook Station (PBS) B-2 facility was initiated in May 2006 with results available in October 2006. The Propulsion Test Integration Group (PTIG) led the study with support from Marshall Space Flight Center (MSFC) and Jacobs Sverdrup Engineering. The primary focus of the trade study was on facility design concepts and their capability to satisfy the J-2X altitude simulation test requirements. The propulsion systems tested in the B-2 facility were in the 30,000-pound (30K) thrust class. The J-2X thrust is approximately 10 times larger. Therefore, concepts significantly different from the current configuration are necessary for the diffuser, spray chamber subsystems, and cooling water. Steam exhaust condensation in the spray chamber is judged to be the key risk consideration relative to acceptable spray chamber pressure. Further assessment via computational fluid dynamics (CFD) and other simulation capabilities (e.g. methodology for anchoring predictions with actual test data and subscale testing to support investigation

An internet-based intervention with brief nurse support to manage obesity in primary care (POWeR+): a pragmatic, parallel-group, randomised controlled trial

Background The obesity epidemic has major public health consequences. Expert dietetic and behavioural counselling with intensive follow-up is effective, but resource requirements severely restrict widespread implementation in primary care, where most patients are managed. We aimed to estimate the effectiveness and cost-effectiveness of an internet-based behavioural intervention (POWeR+) combined with brief practice nurse support in primary care. Methods We did this pragmatic, parallel-group, randomised controlled trial at 56 primary care practices in central and south England. Eligible adults aged 18 years or older with a BMI of 30 kg/m2 or more (or ≥28 kg/m2 with hypertension, hypercholesterolaemia, or diabetes) registered online with POWeR+—a 24 session, web-based, weight management intervention lasting 6 months. After registration, the website automatically randomly assigned patients (1:1:1), via computer-generated random numbers, to receive evidence-based dietetic advice to swap foods for similar, but healthier, choices and increase fruit and vegetable intake, in addition to 6 monthly nurse follow-up (control group); web-based intervention and face-to-face nurse support (POWeR+Face-to-face [POWeR+F]; up to seven nurse contacts over 6 months); or web-based intervention and remote nurse support (POWeR+Remote [POWeR+R]; up to five emails or brief phone calls over 6 months). Participants and investigators were masked to group allocation at the point of randomisation; masking of participants was not possible after randomisation. The primary outcome was weight loss averaged over 12 months. We did a secondary analysis of weight to measure maintenance of 5% weight loss at months 6 and 12. We modelled the cost-effectiveness of each intervention. We did analysis by intention to treat, with multiple imputation for missing data. This trial is registered as an International Standard Randomised Controlled Trial, number ISRCTN21244703. Findings Between Jan 30, 2013, and March 20, 2014, 818 participants were randomly assigned to the control group (n=279), the POWeR+F group (n=269), or the POWeR+R group (n=270). Weight loss averaged over 12 months was recorded in 666 (81%) participants. The control group lost almost 3 kg over 12 months (crude mean weight: baseline 104·38 kg [SD 21·11; n=279], 6 months 101·91 kg [19·35; n=136], 12 months 101·74 kg [19·57; n=227]). The primary imputed analysis showed that compared with the control group, patients in the POWeR+F group achieved an additional weight reduction of 1·5 kg (95% CI 0·6–2·4; p=0·001) averaged over 12 months, and patients in the POWeR+R group achieved an additional 1·3 kg (0·34–2·2; p=0·007). 21% of patients in the control group had maintained a clinically important 5% weight reduction at month 12, compared with 29% of patients in the POWeR+F group (risk ratio 1·56, 0·96–2·51; p=0·070) and 32% of patients in the POWeR+R group (1·82, 1·31–2·74; p=0·004). The incremental overall cost to the health service per kg weight lost with the POWeR+ interventions versus the control strategy was £18 (95% CI −129 to 195) for POWeR+F and –£25 (−268 to 157) for POWeR+R; the probability of being cost-effective at a threshold of £100 per kg lost was 88% and 98%, respectively. No adverse events were reported. Interpretation Weight loss can be maintained in some individuals by use of novel written material with occasional brief nurse follow-up. However, more people can maintain clinically important weight reductions with a web-based behavioural program and brief remote follow-up, with no increase in health service costs. Future research should assess the extent to which clinically important weight loss can be maintained beyond 1 year

Moving targets: Collective decisions and flexible choices in house-hunting ants

Many decisions involve a trade-off between commitment and flexibility. We show here that the collective decisions ants make over new nest sites are sometimes sufficiently flexible that the ants can change targets even after an emigration has begun. Our findings suggest that, in this context, the ants’ procedures are such that they can sometimes avoid ‘negative information cascades’ which might lock them into a poor choice. The ants are more responsive to belated good news of a higher quality nest than they are when the nest they had initially chosen degraded to become worse than an alternative. Our study confirms, in a new way, that ant colonies can be very powerful “search engines”

Can biodiversity of preexisting and created salt marshes match across scales? An assessment from microbes to predators

Coastal wetlands are rapidly disappearing worldwide due to a variety of processes, including climate change and flood control. The rate of loss in the Mississippi River Delta is among the highest in the world and billions of dollars have been allocated to build and restore coastal wetlands. A key question guiding assessment is whether created coastal salt marshes have similar biodiversity to preexisting, reference marshes. However, the numerous biodiversity metrics used to make these determinations are typically scale dependent and often conflicting. Here, we applied ecological theory to compare the diversity of different assemblages (surface and below-surface soil microbes, plants, macroinfauna, spiders, and on-marsh and off-marsh nekton) between two created marshes (4–6 years old) and four reference marshes. We also quantified the scale-dependent effects of species abundance distribution, aggregation, and density on richness differences and explored differences in species composition. Total, between-sample, and within-sample diversity (γ, β, and α, respectively) were not consistently lower at created marshes. Richness decomposition varied greatly among assemblages and marshes (e.g., soil microbes showed high equitability and α diversity, but plant diversity was restricted to a few dominant species with high aggregation). However, species abundance distribution, aggregation, and density patterns were not directly associated with differences between created and reference marshes. One exception was considerably lower density for macroinfauna at one of the created marshes, which was drier because of being at a higher elevation and having coarser substrate compared with the other marshes. The community compositions of created marshes were more dissimilar than reference marshes for microbe and macroinfauna assemblages. However, differences were small, particularly for microbes. Together, our results suggest generally similar taxonomic diversity and composition between created and reference marshes. This provides support for the creation of marsh habitat as tools for the maintenance and restoration of coastal biodiversity. However, caution is needed when creating marshes because specific building and restoration plans may lead to different colonization patterns

Development of an enzyme-linked immunosorbent assay for detection of CDCP1 shed from the cell surface and present in colorectal cancer serum specimens

CUB domain containing protein 1 (CDCP1) is a transmembrane protein involved in progression of several cancers. When located on the plasma membrane, full-length 135 kDa CDCP1 can undergo proteolysis mediated by serine proteases that cleave after two adjacent amino acids (arginine 368 and lysine 369). This releases from the cell surface two 65 kDa fragments, collectively termed ShE-CDCP1, that differ by one carboxyl terminal residue. To evaluate the function of CDCP1 and its potential utility as a cancer biomarker, in this study we developed an enzyme-linked immunosorbent assay (ELISA) to reliably and easily measure the concentration of ShE-CDCP1 in biological samples. Using a reference standard we demonstrate that the developed ELISA has a working range of 0.68–26.5 ng/ml, and the limit of detection is 0.25 ng/ml. It displays high intra-assay (repeatability) and high inter-assay (reproducibility) precision with all coefficients of variation ≤7%. The ELISA also displays high accuracy detecting ShE-CDCP1 levels at ≥94.8% of actual concentration using quality control samples. We employed the ELISA to measure the concentration of ShE-CDCP1 in human serum samples with our results suggesting that levels are significantly higher in serum of colorectal cancer patients compared with serum from individuals with benign conditions (p < 0.05). Our data also suggest that colorectal cancer patients with stage II–IV disease have at least 50% higher serum levels of ShE-CDCP1 compared with stage I cases (p < 0.05). We conclude that the developed ELISA is a suitable method to quantify ShE-CDCP1 concentration in human serum